10 years of NORMA

Informatics 10 Years Back , 10 Years Ahead

Interpretation is a theory of approximation of the be— havior of dynamic discrete systems such as the formal seman­ tics ofprograms. Since such behaviors can be characterized by fixpoints, the theory essentially provides constructive and ef— fective methods for fixpoint approximation and checking by abstraction. Non—conventionalapplications of abstract interpretation in— clude the design of hie...

Microprocessors - 10 Years Back, 10 Years Ahead

10 years of illusions.

A decade ago, S. Aglioti, J. F. X. DeSouza, and M. A. Goodale (1995) published an experiment that has had a big influence on the way that visual information is thought to control human behavior. Their findings have often been simplified as suggesting that action is immune to perceptual illusions. The current authors critically analyze the 4 steps involved in this simplification and argue that r...

Will Mongolia’s Herders Disappear within 10 Years?

Introduction The challenges related to the preservation of Mongolia’s pastureland, its quality and condition are key concerns for the livestock sector. However, scientists, researchers and government agencies tend to focus solely on rangeland ecology and livestock. All too often, herders are overlooked and omitted from the discourse. This is the main reason I want to talk about people of the M...

10 years emmission

0